AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
arxiv.org·17h
Simple Sudoku Solvers SII, EI: Dyalog APL
blog.veitheller.de·1d
Conversation: LLMs and the what/how loop
martinfowler.com·7h
Using Local LLMs to Discover High-Performance Algorithms
towardsdatascience.com·2d
Semidefinite programming relaxations for quantum correlations
link.aps.org·15h
Qdrant - Vector Database
qdrant.tech·23h
On Learning Elixir
denvaar.dev·19h
Dealing with alternatives
jemarch.net·1d
AI Policy NotebookLM
mguhlin.org·10h
Loading...Loading more...